prove projection formula